Semantics and proof-theory of depth bounded Boolean logics (2013)
D'Agostino, Marcello; Finger, Marcelo 
; Gabbay, Dov
Source: Theoretical Computer Science. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
D'AGOSTINO, Marcello e FINGER, Marcelo e GABBAY, Dov. Semantics and proof-theory of depth bounded Boolean logics. Theoretical Computer Science, v. 480, p. 43-68, 2013Tradução . . Disponível em: https://doi.org/10.1016/j.tcs.2013.02.014. Acesso em: 10 maio 2024.APA
D'Agostino, M., Finger, M., & Gabbay, D. (2013). Semantics and proof-theory of depth bounded Boolean logics. Theoretical Computer Science, 480, 43-68. doi:10.1016/j.tcs.2013.02.014NLM
D'Agostino M, Finger M, Gabbay D. Semantics and proof-theory of depth bounded Boolean logics [Internet]. Theoretical Computer Science. 2013 ; 480 43-68.[citado 2024 maio 10 ] Available from: https://doi.org/10.1016/j.tcs.2013.02.014Vancouver
D'Agostino M, Finger M, Gabbay D. Semantics and proof-theory of depth bounded Boolean logics [Internet]. Theoretical Computer Science. 2013 ; 480 43-68.[citado 2024 maio 10 ] Available from: https://doi.org/10.1016/j.tcs.2013.02.014
